Epimorphisms in Certain Varieties of Algebras
نویسندگان
چکیده
We prove a lemma which, under restrictive conditions, shows that epimorphisms in V are surjective if this is true for epimorphisms from irreducible members of V . This lemma is applied to varieties of orthomodular lattices which are generated by orthomodular lattices of bounded height, and to varieties of orthomodular lattices which are generated by orthomodular lattices which are the horizontal sum of their blocks. The lemma can also be applied to obtain known results for discriminator varieties. Mathematics Subject Classifications (2000): 06C15, 03G12, 08B25.
منابع مشابه
Revised working draft (31 January 2016) EPIMORPHISMS IN VARIETIES OF RESIDUATED STRUCTURES
It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Gödel algebras, relative Stone algebras, Sugihara monoids or positive Sugihara monoids. This establishes the infinite deductive Beth definability property for a corresponding range of substructu...
متن کاملPurity in algebra
We investigate pure monomorphisms and pure epimorphisms in varieties of universal algebras with applications to equationally compact (= pure injective) algebras, pure projective algebras and perfect varieties.
متن کاملSurjectivity of epimorphisms in varieties of algebraic logic
In the present paper we answer the question for a broad family of classes of algebras occurring in algebraic logic whether epimorphisms are surjective in the class in question or not. These are algebraic theorems and answer open algebraic problems stated in the literature. Using the duality theory between logics and classes of algebras elaborated in algebraic logic then we use our theorems for ...
متن کاملNOTES ON EFFECTIVE DESCENT AND PROJECTIVITY IN QUASIVARIETIES OF UNIVERSAL ALGEBRAS Dedicated to Walter Tholen on the occasion of his sixtieth birthday
We present sufficient conditions under which effective descent morphisms in a quasivariety of universal algebras are the same as regular epimorphisms and examples for which they are the same as regular epimorphisms satisfying projectivity. 1. Preliminaries A variety is a full subcategory of the category of structures for a first order (one sorted) language, closed under substructures, products ...
متن کاملEpimorphisms between 2–bridge link groups
We give a systematic construction of epimorphisms between 2–bridge link groups. Moreover, we show that 2–bridge links having such an epimorphism between their link groups are related by a map between the ambient spaces which only have a certain specific kind of singularity. We show applications of these epimorphisms to the character varieties for 2–bridge links and π1 –dominating maps among 3–m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Order
دوره 17 شماره
صفحات -
تاریخ انتشار 2000